這章節證明似懂非懂,可能要上網另外找教學。做了一隻命題邏輯題庫,隨機產生複合命題,不過括號和解答沒有做出來。
想要訓練解題速度,所以做了這支程式
但是括號有點麻煩,如果要做解答,需要了解前序法。
import random
def ran(rg):
b=random.randint(0,rg-1)
return b
a=["v","∧","→","↔"]
b=["p","q"]
for opnu in range(6):
print(b[ran(2)],end="")
print(a[ran(4)],end="")
print(b[ran(2)],end="")
輸出結果
q∧p∧q→q→q→p∧p
後面章節<關係>,很適合用圖片說明。
到時侯ARB可以用A點連接到B點,依照先後點擊順序決定順序。
讓我想到青蛙跳荷葉和關燈遊戲,應該就是關系作為理論。
感謝撥冗閱讀,歡迎留言指教。